#!/usr/bin/env bash
set -eu
./bench-boot --size "${1:-1}"
./test-kernel-modules
